fwi-hurd.wiwi.uni-karlsruhe.de back

[Marcus Brinkmann]

Hi,

As the subject says, fwi-hurd.wiwi.uni-karlsruhe.de is back online.

Thanks,
Marcus