Koning opent nieuw gebouw Hoge Raad