[juergen_jl]

Maybe I am too "easy minded", but in general, I only let the "old" oil pour out of the diff, and then I fill in the new. See, for me the last remaining micro-litres are not really deciding.