Synonyms and combinations
= Elachista petryi Amsel, 1932