OptTEST case study 6: Repealing bad criminal law on HIV in Denmark.