Bryggeriet , som hetat Ostermanns bryggeri,