Hallo Brigitte,
Vielen Dank für die Information. Eigentlich hatte ich den DjVU-Plug-in. Aber
seit geraumer Zeit geht er nicht, d.h. ich hatte probiert ihn nocheinmal
runterzuladen und zu installieren, aber es klappte nicht. So wie ich wieder
etwas Zeit übrig habe (Uumzugsstress), werde ich nocheinmal alles
kontrollieren. Ich glaube, es hing damit zusammen, dass ein Java-update
fehlte. Es wird wahrscheinlich Anfang August werden.
Nochmals vielen Dank für die Links.
LG
Isolde