Build server down

[Matthias Boehm]

Hi all,

could somebody at the STC please find out what's wrong with our build 
server? Thanks and Happy Holidays.

Regards,
Matthias