Berlin’s best indoor swimming pools “are veritable cathedrals of late 19th- and early 20th-century design.” (BBC, 11/17/23)
