turbodiesel,

Do this before taking the starter out: Try turning engine by the crankshaft bolt. If the starter then cranks the engine, it is possible you have a chipped ring gear tooth which would allow the starter to spin.

If the terminals are getting that hot, they are corroded and have a high resistance, They should be taken apart and cleaned to prevent a no start in the future.

P E H