THOMAS INDUSTRIES INC