Engelbert Kraus ( born 30 July , 1934 ) is a former German football player .
Engelbert Kraus ( born 30 July 1934 ) was a German football player .