Bern: Das städtische Hallenbad Weyermannshaus