Navn i Oslo hvorfor heter det det det heter? av Leif Gjerland