Etymologisk ordbog over det norske og det danske sprog - Torp, Alf