Rinderbraten mit mariniertem Rotkraut & Pistazienknödel