There is also a wikipedia page https://en.wikipedia.org/wiki/Rolling_ball_clock