(die folgenden tipps beziehen sich auf den standort zürich.) lokale ausleihe startpunkt ist der IDS gesamtkatalog (altes interface). es gibt auch ein neues interface, das ich aber deutlich weniger bequem zu benutzen finde….