pygmaeus (Redtenbacher, 1906)