divPHensel nach divPInv umbenannt und repariert