Alemannische Spezialitäten: