What kingdom was a holy Roman empire under?