Mit copy() kann man eine Quell-Datei (source) zur neuen Ziel-Datei (dest) kopieren. Beachten Sie bitte, dass eine eventuell schon vorhandene Datei gleichen Namens überschrieben wird. Bei Erfolg wird true, sonst false zurückgegeben.