ERTMS -- delivering flexible and reliable rail traffic