use a serverpool instead of server pgp server
Merge pull request #3 from Jimdo/usekeyserverpool

use a serverpool instead of server pgp server