TICKET 1978 Holland v East Germany