Adolf, Heiliges Römisches Reich, König