Redundancy Management in a Symmetric Distributed Main-Memory Database