( dubbel ) anmärktes den 12.