Otto Jens: books, biography and more