Rinderfilets mit Waldpilzen und Armagnacsauce