Verzeichnis der orientalischen Handschriften in Deutschland (Steiner, 1964)