Équipe d'Allemagne de l'Ouest de football des moins de 17 ans