under firmans gamla namn : Kristiania bryggeri;