511.476 Gentzen Horst und Rueth, Michael Horst und Rueth, Michael Gentzen Gentzen, Horst und Rueth, Michael