@misc{Kocher1980, author = {K{\" o}cher, Franz}, year = {1980}, } @misc{sec103182, }