Oh, vielen Dank für deine Ausführungen .... dann ist es doch anders herum und Mulkern ist der ursprüngliche Name. Aber ändern hättest du es doch jetzt nicht unbedingt müssen, wir wissen ja jetzt, wer gemeint ist
Und beide Namen sind Anspielungen auf Dr. Who...