f. d. Industrimagasinets lokal.