Hirschgulasch und Hirschbraten, mit Rotkraut, Waldpilzen und Knödel