Hirschbraten mit Blaukraut und Semmelknödel oder Kroketten