neumann_1_hott_und