( 6.23912:3 ) Rättens ombudsman.