Electrified railway