Random beta-expansions, unique expansions and Lochs' Theorem door W.M. De Vries