Hi!
Found a solution: booting in recovery mode (cmd+R at start-up) and then using the terminal (the filesystem is writable in recovery mode). So the information I did not find and which may help others:
single-user mode (cmd+S at start-up) => read-only filesystem
recovery mode (cmd+R at...