Recording of house numbers for OpenStreetMap