die Stadtbücherei Ingolstadt.