Add taginfo.openstreetmap.org pointing at the openstreetmap.de server