Deventer, summer concert hall,