Finwe, Olwe, Mahtan and Erestor: names solved?