https://www.jocks.de/2023/10/28/list-of-casinos-in-germany/