Nederlandse CoronaCheck-app is 'ongeveer' tien miljoen keer gedownload