A numerical counter and number sequence filmed with an old nixie tube counting machine