Right now we actually crash the entire space and it seems to not get up again. We should try to fix that. 9654586 hvoss-techfak commited on Jul 3
