Korean type specimens of insects deposited in Hungarian natural history museum