Provisorisk strafflag i Danmark.