Stav dette: The swimming-pool library