Hotel Waldorf Astoria Berlin, Schwimmhalle
