13000 d:o d:o ; W. Neckel 8200 d:o d:o ; J.