Idiofanstaltens industrilottors i Köpenhamn.