Lucanus ibericus Motschulsky, 1845