Stroke care during the COVID-19 pandemic: Case numbers, treatments, and mortality in two large German stroke registries