Recipe to coadd bad pixel masks
Generated on 26 Mar 2012 for SINFONI Pipeline Reference Manual by
1.6.1