2002-10-31: the temporary replacement server goes down late night. down until new hardware acquisitons ready on 5. nov 2002. [downtime: 5d]

the temporary replacement server goes down late night. down until new hardware acquisitons ready on 5. nov 2002. [downtime: 5d]