https://benjaminellis.org/2011/01/23/bletchley-park-remembering-herivel-and-the-herivel-tip/