Shall I work on this 'undeleting' and then what is the best procedure to do this in JOSM. I can contribute the exact map history knowledge in these cases of what was there before changeset #137667141. But I want to be sure together with you that we don't do things on two sides and would need some assurance to identify the correct way of doing this in JOSM in order to avoid any additional complications.  Your advice or instruction on these two questions will be very welcome. Jo