Det heter nu i 12:te § af instruktionen: