Nederlands voetbalelftal jaren 50, wie weet de namen