falsche schluesse: nicht gefunden