Progressive vs. Feste Jackpots: Was ist besser für erfahrene Glücksspieler?