3994 ) Rättens ombudsman*