Zu guter letzt müssen wir uns auch auf die realistische Möglichkeit einrichten, dass die Frage ungeklärt bleibt oder dass wir feststellen, dass beide Varianten im Wesentlichen gleich häufig sind. In diesem Fall wäre dann aber meines Erachtens tatsächlich der bürgerliche Name vorzuziehen. -- ThePeter 15:48, 17. Aug. 2009 (CEST)