[Mayor George Christopher and other officials at dedication of North Beach Branch Library]