By what name was the city, in which the company Prior Radiofabrikk was located, known from 1877 until 1925 ?