#encoding iso8859-1 ; ; $Header$ ; ; this file contains 8bit national characters; ; DONT EDIT this file with an old vi !