Sorry, to be clear I meant addr:street="Bockmühlenstraße" addr:housenumber="40" in this changeset.

The building which address (house number) was changed here from 42 to 40 actually has the number 42 as stated in an entry of mine earlier. This is based on local knowledge.