Imperium Caroli Magni Occidentis Imperatoris (1785).