Mac-Tipp: viele Dateien umbenennen

Bereits die Bordmittel im Finder reichen für die meisten Anliegen.