CodeQL: Github findet Sicherheitslücke in Corona-Warn-App-Server