diff --git a/src/tools/Mask_specification.odt b/src/tools/Mask_specification.odt new file mode 100644 index 00000000..d4cea500 Binary files /dev/null and b/src/tools/Mask_specification.odt differ