tastadt egde ens namnet af tyska konungar.