//@ pitfall of concurrent programming: data races. We will see how that works concretely.
// Before we come to the actual code, we define a data-structure `Options` to store all the information we need
//@ pitfall of concurrent programming: data races. We will see how that works concretely.
// Before we come to the actual code, we define a data-structure `Options` to store all the information we need