— omkring 130 tjenstemän vi(