(Ordonnance de l'empereur Charles VI accordant des privilèges et le titre de prince à Frédéric de Diesbach.) (9 mai 1722.) — Saint-Empire romain germanique