PERSON@1 -LRB- PERSON@2 ; ; NUMBER@1 May NUMBER@2 NUMBER@3 June NUMBER@4 -RRB- was King of LOCATION@1 and LOCATION@2 from NUMBER@5 August NUMBER@6 until his death , and ruler of LOCATION@3 in the Holy Roman Empire from NUMBER@7 .

PERSON@3 became King of LOCATION@1 and LOCATION@2 on NUMBER@5 August NUMBER@6 .
