Om tillegg til straffeprosessloven av 1. juli 1887, ot. prp. nr. 12, innst. O. nr. 17, O.tid. 59—61, besl. O. nr. 22, L.tid. 12, sanksjon O.tid. 62, lov av 29. sept. 1945, lovheftet side 7.