Festzelt Tradition vs Augustiner-Festhalle: which Oktoberfest tent is better for you?