Ehrmanntraut oder Ehrmantraut? Alle Quellen (kicker Sonderheft, Stadionprogramme etc.) aus den 80ern sagen Doppel "NN", heutzutage heißt es überall nur ein "n"...
