Festlicher Rinderbraten mit Printen-Sauce und Rotkohl