https://www.podkst.de/baudot-gross/