Det heter nämligen i det febeslutet: