There's still a Vote running at
http://de.wikipedia.org/wiki/Wikipedia_Diskussion:Administratoren#Bezeichnu
ngsfrage an as it seems the majority wants to keep the current names. Wait
until a decision is settled.
Thomas, you misunderstood: Karl want's to get rid of ''his'' admin
status, so
his user record needs to be changed in the database.
Uli