Add admin-option to choose dereferer-service

write choice to file