Die Allgemeinverfügung der Stadt Krefeld vom Oktober 2020, mit der diese eine Pflicht zum Tragen einer Mund-Nase-Bedeckung