( " Medan konungen iDanmark