Stav dette: A Concurrency-Optimal List-Based Set