Hallo Norman,
Danke, das wußte ich nicht. Einen (103460) Dieterherrmann gibt es also schon, entdeckt von Gerhard Lehmann und Jens Kandler. Interessant sind die sonstigen Namensgebungen der beiden, ich hätte nicht gedacht, was und wer da heutzutage im Hauptgürtel herumsegelt.
Gruß Gil