— Provisorisk strafflag i Danmark.