Die Digitale Bibliothek der Gesellschaft für Informatik steht leider derzeit nicht zur Verfügung. Wir arbeiten daran und sind hoffentlich bald wieder online.