Drei Spieler teilen sich Lotto-Jackpot in Deutschland