tyske " konungen af Holland , är tydligt.