Index: nodes/CNodeHofland/wleiden.conf
===================================================================
--- nodes/CNodeHofland/wleiden.conf	(revision 8650)
+++ nodes/CNodeHofland/wleiden.conf	(revision 8651)
@@ -6,5 +6,5 @@
 $nodename='Hofland';
 $release="8.0-RELEASE";
-$status='up';
+$status='down';
 $X='92035';
 $Y='462384';