https://9dok.net/document/z1d4x9od-relational-databases-exercise-sheet-relational-calculus-thursday.html