juara piala dunia adalah milik jerman