Jolly , Jul . , Geschichte des Infinitivs in Indogermanischen.