#Olympia: Gruppenfinale im Fußball – Deutschland-Elfenbeinküste heute Vormittag live