Library information: Sammlung Otto Stein