3901 ) Rättens ombudsman.