All Hail to Dropbox and its versioning. Das hat mir gerade ne Datei gerettet, die ich im Time Machine-Backup nie gefunden hätte