Municipal swimmingpool, once a place of noteworthy swimming races Municipal swimmingpool, once a place of noteworthy swimming races Municipal swimmingpool, once a place of noteworthy swimming races