Bavarian pretzel bites served with beer mustard