@misc{Kocher1971, author = {K{\" o}cher, Franz}, year = {1971}, } @misc{sec51172, } @misc{sec51173, }