stiftelsens Industrilotteri i Köpenhamn.