Dateiextension mit Skript ändern 15. Januar 2019 10. Dezember 2019 Ändern von Extensions ausgewählter Dateien eines Folders bei MacOS