3883 ) Rättens ombudsman.