text: I found it! It’s there: https://www.openstreetmap.org/node/3357928614
  (See note https://www.openstreetmap.org/note/2058489 and its associated picture https://westnordost.de/p/9155.jpg as well as  this changeset: https://www.openstreetmap.org/changeset/79765297 ).