Diese Dateien existierten zwar im bin - Verzeichnis des Notebooks, waren aber offenbar zu alt. Nachdem ich die gleichnamigen Dateien vom Desktop-PC dorthin kopiert hatte, klappte alles wie am Schnürchen. Danke für den Tip. Ein Glück, dass wir die
DP haben!
