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