As @CarlWitthoft pointed out, readLines()
has problems reading ASCII-files with certain linebreak-types (don't know which exactly: vs vs ). This results in a list of practically empty strings. Furthermore, the function seemingly is unable to see the end of the file.
The final solution: Copy and paste the file content in a new file using a program with "more appropiate" linebreak-standard.