Wurde Dieter Müller beim 1. FC Köln nicht von Trainer Rinus Michels auf übelste Weise abgehalftert? Ich erinnere mich dunkel.