Большой немецко-русский словарь
Volksschwimmhalle f =, -n
крытый плавательный бассейн общественного пользования (ГДР)