Withius hispanus L. Koch, 1873