Eugen Denzel: Der Boxer Peter Müller