Såsom domare fungerade hr Otto Benzonoch