Rename ba-leipzig to ba-leipzig.txt