Feinarbeiten / Small updates on Erlangen, Germany

https://api.openstreetmap.org/user/B76/diary/2226