Co-authored-by: Stefan Weil <sw@weilnetz.de>
^8{4}$ e.g. 85115 which seems to be the default. Thus 80000 thru 89999.