The digit 7 was adopted by Achim Riegel.