Reprezentacja Niemieckiej Republiki Demokratycznej w piłce nożnej