Finale in Berlin: Fußball-Europameisterschaft endet