cf. Bademeister Badmeister.