Abridged catalogue of the library of Prof. Dr. Georg Witkowski