Antenneveien 5 solgt av Marius Kristoffersen