Rättens ombudsman ( 772 ) ( Gr.