( 1 7 56 ) Rättens ombudsman.