Soweit ich das sehe, ist das bereits recht gut gemappt: https://www.openstreetmap.org/node/444526137 – evtl. könnte man vielleicht noch `start_date` auf 1703 setzen. Ich wüsste auswendig allerdings kein Tag mit dem man den letzten Betreiberwechsel einträgt (vielleicht `operator:start_date` oder so?).