i Linköping firades Carlsdagen pompösare än vanligt.