Title: The diary of Philipp von Neumann, 1819-1850