@Brendanjones Sadly enough the Dutch railway service is since long not a public service anymore but a private company. But I still fully agree with your statement.