OPERA-Technical-manual