Die HNF-Abstandsformel