Allgäuer Käsespätzle (Gratiniert)