Aus welcher historischen Quelle stammt die Bezeichnung Wasenmeisterei Ingolstadt? Im bayerischen Urkataster ist die Einöde als Schinder verzeichnet. Diese Benennung hält sich bis etwa zum Ende der 1930er Jahre. Ab 1938 ist die Häusergruppe nur noch mit der Bezeichnung Abdecker kartiert, bevor sie ganz verschwindet. Man sollte den Artikel wohl auf das Lemma Schinder (Ingolstadt) verschieben, da ja auch heute noch die Straßenbezeichnung Unterer Schinderschüttweg daran erinnert. -- LexICon 01:35, 17. Nov. 2019 (CET)