nicht ableitbar: nicht gefunden