Station Eindhoven toen: het hoogspoor