Astronomical clock on the city hall tower in the old town square in Prague