"Induktionsvoraussetzung" not found

Did you mean…