Benämningen var förut » kejserlig-kungliga,