Question: was Marcelino Martínez the player, in all time top scorers of Inter-Cities Fairs Cup when the Club was Real Zaragoza?
answer: Yes