Gerlacus Buma — judge