OK, now we are officially terminated. The papers are signed and the unions have agreed. We will work until December 14, after which we can all go home and take a long christmas holiday. Or not …