Badaremästaren Johan Gottlieb Benjamin Michaeltzon,