Ist das ein Schreibfehler im Druck? Sollte das nicht "Distrikts-" heißen? © Michael Finkel, https://nimmerso.app/agb