i Aktiebolaget Walhalls Bryggerier inlöses med kr.