Inristningen ifråga lydde nämligen så: