Eugen Denzel, Der Boxer Peter Müller