och 12,073 tons från Norge jemte mindre’