Leipzig Swimming Baths (1988)