Danke für die Hinweise.
Inzwischen habe ich Ubuntu neu installiert und das Problem ist verschwunden.