Now that the war was over—it ended officially in Brazil on Nov.30—Brazilians had a small problem on their hands. The problem: what todo with 30 German midgets who had been interned in a Sao Pauloschoolhouse during the war. The rumored solution: the supermen wouldwork as waiters in a children’s restaurant.