Der Grabstein befindet sich aber in Weimar. Das gehört rein. Das habe ich eingefügt.--Mario todte (Diskussion) 18:22, 5. Dez. 2020 (CET)
Es gibt in Weimar-West eine Müllerhartungstraße. Das müßte noch rein!--Mario todte (Diskussion) 13:29, 9. Sep. 2022 (CEST)
Erledigt. Unter Ehrungen eingefügt. Vielleicht kommt noch mehr!--Mario todte (Diskussion) 13:31, 9. Sep. 2022 (CEST)