Tanks for both tips.
I had considered that too, but unfortunately, not even the print dialogue opens. And so I cannot select any printer at all.
I tried to mark a passage of the text and right-click, well, a pop-up dialogue asks whether I'd like to print the whole file or just the marked passage. But again, nothings happens when I click on either button.