a . konungen af Danmark,