materiale implikation: nicht gefunden