mr.; advocaat-generaal Hoge Raad der Nederlanden