Boulder (Colo.). Parks and Recreation Dept. Municipal Swimming Pool.