6KUG17: Doppelinfinitiv