Carl Hocheder, Müllersches Volksbad, Männerschwimmbad, München, 1901