Digital rail control is future-proofing mainline services in Germany