Ivar Aasen (1850), “R:Aasen1850”, in Ordbog over det norske Folkesprog, Oslo: Samlaget, published 2000