Badestube stands for:
Badestube is also the name of a district of Marburg , see Badestube (Marburg) .