Internationel strafflag ; 9.