Hi Amba,

for ubunutu, you should use:

# wget http://debian.systs.org/dso_archiv_signing_key.asc -q -O - | 
sudo apt-key add -

Bye,
  Thorsten