Leiter is German and has two different meanings. The one is "ladder", the other one is something like "chief" or "head" of an organization/departement. So looking at the concept of Lode Runner style games the first meaning is very likely the correct one in this case.