Repeat: If Germany had lost the final, the stamps, printed by Deutsche Post, would have had to be pulped.
If Germany had lost the final, the stamps, printed by Deutsche Post, would have had to be pulped.