( Stora badhuset ).