Gravar-mail: Is the second dose of vaccination useful in previously SARS-CoV-2-infected healthcare workers?