måndags förmiddag var konung Christian rrte på sin vanliga spatsertur å Köpenhamns gator.