Incidentally, I have just found out that Bosch GB550 is the most suitable modern replacement.