King of the Romans — title used by medieval German monarchs