Joseph, son of Emperor Leopold I becomes King of the Romans