Ribičičevi "Palčki" v ljubljanski operi (Učiteljski tovariš, 1938)