Cuando he tirado de dems, he usado ese que pones (parece estar caído el server) tienes que tener paciencia, ya que no están online siempre, al ser servidores de universidades y facultades. Y este que me gusta mucho, por que funciona con una rejilla geográfica (topogrid) en Google Earth, y usa un ftp bastante rápido para descargar el dem seleccionado.
http://www.cgiar-csi.org/data/srtm-9...-database-v4-1
http://www.ambiotek.com/topoview.
Lo de la resolución de 1 arcsecond o 1/3 arcseconds, suelen ser los mapas del tipo usgs o gov (usa) o Nasa, de 30m de resolución, este que te digo, es de 3/3 arcseconds creo, unos 90m, así que, trincheras, puentes y cosas del estilo no aparecen nada bien representados. Este lo conocí por los simuladores ferroviarios y aéreos, es el que usan combinándolo con microdem, hog, trainzdem, tiger, etc. Otra opción, es recurrir a una empresa cartográfica y que te vendan un dem, no sé qué cuestan. Un saludo.