JohAn 0250b66f65 merging origin/git-annex into git-annex vor 7 Monaten
..
8ca 0250b66f65 merging origin/git-annex into git-annex vor 7 Monaten