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