Ordre var ordre. Alle gode nordmenn kunne trekke et lettelsens sukk over at tyskerne hadde trukket det korteste strå i jakten på konge og regjering.