+static char *getElementInfoText(int element)
+{
+ char *info_text = "unknown";
+
+ if (element < num_element_info)
+ info_text = element_info[element];
+ else
+ Error(ERR_WARN, "no element description for element %d", element);
+
+ return info_text;
+}
+