code: private void setMsgSizeValue(int value, boolean allowOverwrite) {
          String absPath = getPath() + ".MsgHead.msgsize";
          SyntaxElement msgsizeElem = getElement(absPath);
  
          if (msgsizeElem == null)
              throw new NoSuchPathException(absPath);
  
          int size = ((DE) msgsizeElem).getMinSize();
          char[] zeros = new char[size];
          Arrays.fill(zeros, '0');
          DecimalFormat df = new DecimalFormat(String.valueOf(zeros));
          if (!propagateValue(absPath, df.format(value), DONT_TRY_TO_CREATE, allowOverwrite))
              throw new NoSuchPathException(absPath);
      }
docs: setzen des feldes "nachrichtengroesse" im nachrichtenkopf einer nachricht