Fanniidae (Diptera): new synonym, new records and an updated key to males of European species of Fannia