[de] GR 72

[fr] Sentier de grande randonnée 72