texfiles verplaatst