Portugal wird Meister.