text: "Summer" is kind of vague, and should be replaced with exact dates. Summer as a season also lasts longer the closer to the equator you get.
  
  I'm not sure if JOSM still tries to "fix" opening_hours where someone just specifies "summer", this is a 3 year old note.