Out of sheer curiosity, I was wondering, if you test positive for corona virus does your GP get informed and this go on your medical records?