Feinarbeiten / Small updates on Erlangen, Germany

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