Original: While there he played 18 times for the Germany national football team .
Simplified: He has played for West Germany national team .