Tourismus in Bayern: Mehr als 3 Millionen Gäste im Juli