Stav dette: The economy of Ceylon/