Steve, thanks for your reply and interest.
That is not the pulley I need. Actually the situation has changed, -apparently the pulley I need comes as one piece
with the tensioner, and carries part number 60563052. Again, efforts to obtain it have so far been in vain.
I have had the engine re-assembled and will drive it 'as is', since the only reason for changing it in the first place was
that the pulley bearing was noisy.! Obviously I will have it changed if I can find the proper part, so I'll keep on looking.
Incidentally, is there a workshop manual available for this engine? ----- preferably in English.!
Cheers
Peter