Improved mnesia cluster-repair after a node down