Hi Hans
Eucalyptus oil works quite well also.
Dab a bit on a clean rag and wipe the affected area, make sure rinse and wipe down the area with clean water afterwards.
I was just reading that link about WD40, blimey is there anything that stuff can't do?