( 1233 ) Rättens ombudsman.