References:

Casino 580

References:
https://pad.stuve.uni-ulm.de/s/U7Q8cqJox