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