Münchner Oktoberfest endet: gleich viel Gäste, weniger Bier