Books by Julius Bahnsen