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