Anonymous
It's a nice, cool, 50m pool, with eight lanes, all roped. In the evening there were three lanes for the public. Lane etiquette was okay-ish. One little item to be aware of when arriving late: On some days the pool schedule says it's open until 10 PM, but pool/swimming time actually ends at 9:30, despite the 'Belegungsplan' showing the occupation until 09:45.