gear box: small service

I removed the +40 year old gearbox oil (...which is always a very special treat) and replaced the input shaft seal at the same time:

... after re-assembly of the guiding sleeve I attached a reminder to fill-in new oil before the first run!