heter det , och måste följaktligen förkortas.