Kenya Q2 GDP: depressing numbers