This is probably the pool I've regularly swum in more than any other and the largest - in Olympia Park, Munich since the early 70s.