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