1 defaultOptions =
2  -bindOptions   " Bindeoptionen "
2 %DBRM-Optionen (1) 
3?  -differenceOnly
3.1! FALSE
3.1 TRUE
4? %-grant (2) 
5? %Traceoptionen (3)