Antenneveien 7 solgt av Marius Kristoffersen