Man pages matching name dis51 in section 1:

dis51.1.en

debian 13 / dis51