Leiterlänge
Die Leiterlänge ist die Länge einer Leiter.
Bei mehrzügigen Leitern ist dies ein von-bis Maß.
