Koning opent nieuw gebouw Hoge Raad der Nederlanden