In the anthem “Gott Erhalte Franz den Kaiser” did they swap out Franz with whoever was emperor at the time, would they also swap out Kaiser with Kaiserin if the emperor was a woman?