LEDA distribution (local)