Add favorite mirror

Do you want to add "otr-files.de" to your list of favorite mirrors?