[Oktoberfest pretzel sellers]