Am 13.12.2022 beschloss die Stadtverordnetenversammlung der Stadt Darmstadt die Umbenennung von sieben Straßen im Stadtgebiet und der Aberkennung eines Platzes an der Gemarkungsgrenze zur Stadt Griesheim. Der gesamte Prozess sowie die einzelnen Veranstaltungen wurden in einer vom Magistrat herausgegebenen Publikation dokumentiert, die beim Stadtarchiv erworben werden kann: