Die Hardware des Servers gruenau.informatik.hu-berlin.de wurde ausgetauscht. Es handelt sich nun um ein Dell PowerEdge 2950 (8 Kerne, 16GB RAM), der den alten Dell PowerEdge 1850 ersetzt.