Det heter på anförda ställe: