Huru som helst , sången slutade ,konungen