@nielskob Recht herzlichen Dank! (Ich lösche bereits die Dateien via Terminal; dies ist nur leider für meine Frau zu kompliziert …)