Ich hatte die Minimalvariante von Miktex installiert und habe es jetzt auf die Normalversion nachinstalliert. Funktioniert trotzdem nicht. Eigentlich...
Danke. Dann liegt es vermutlich daran, dass ich mein OS von Win auf Ubuntu 18.04 umgestellt habe und eventuell standardmäßig da nicht alles an Miktex...