Germans shrug off economic gloom at booming Oktoberfest