Boosting test-efficiency by pooled testing for SARS-CoV-2—Formula for optimal pool size