Maria Theresa had to be crowned as the 'King' of Hungary because there was no provision