Jerman Timur pada Piala Dunia FIFA