Augustiner-Festhalle vs Hofbräu-Festzelt: which Oktoberfest tent is better for you?