Was war das Nettovermögen von Hilary Devey?