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