Die Reihenfolge der Nachnamen entspricht der Originalliste.
Namen, die nicht alphabetisch eingeordnet sind, sind
vermutlich nachträglich in die Originalliste aufgenommen
worden.
