Title: High speed protection of mining electric supply systems against earth faults