Indoor pools like that are not uncommon in germany. This one is in the center of munich. https://de.m.wikipedia.org/wiki/M%C3%BCllersches_Volksbad https://de.

Indoor pools like that are not uncommon in germany. This one is in the center of munich. https://de.m.wikipedia.org/wiki/M%C3%BCllersches_Volksbad https://de.m.wikipedia.org/wiki/M%C3%BCllersches_Volksbad