Ответ:

В 1745 году Франц Стефан Лотарингский был избран императором Священной Римской империи.

Ответ: а) Император Священной Римской империи.