Petra Diamonds: Output Slips But Revenues Up