option() is only meant to be used for simple on/off switches 
not for options taking a string value.


git-svn-id: https://dng.biozentrum.unibas.ch/svn/openstructure/trunk@2119 5a81b35b-ba03-0410-adc8-b2c5c5119f08