3817 ) Rättens ombudsman.