Real-PK mit Ramos und Zidane: Wer ersetzt Rechtsverteidiger Carvajal gegen die Bayern?