( f. d. Porterbryggeriet ).