rekursiv ableitbar: nicht gefunden