I denna § heter det nämligen: