Hans Jost — boxer