Encrinurus (Encrinurus) punctatus (Wahlenberg, 1821)