Service discontinued

Unfortunately deja.borderworlds.dk has been discontinued. Google Groups might have what you are looking for.