Doorontwikkeling CoronaMelder kostte 5,7 miljoen euro