Bekannte und verifizierte Probleme (15)