thanks for an answer!

converted to address nodes in https://www.openstreetmap.org/changeset/163801645

https://www.openstreetmap.org/node/12679332024
https://www.openstreetmap.org/node/12679332025

(maybe it could have been added with address overlay - either way, thanks for mapping!)