Strafflagen får denna lydelse: