Checked this evening, still no packets available ... the problem with the keyserver isn't yet fixed ;-(