File:Flag of Saxony Royal.png