Король Германии, император Римской империи