East Germany national football team — former men's national association football team representing East Germany