convert osm into gpx

https://www.openstreetmap.org/user/Prothmann/diary/2079