Heteronchocleidus buschkieli Bychowsky, 1957