On distributive correction lattices - Schweigert, Dietmar (1980)