New software is hard taskmaster: the Danish insurance regulator has designed an innovative computer-based system that monitors the security of reinsurance coverage bought by domestic companies