Visiting Munich without visiting Oktoberfest