const char *version_tag = "\n2.10  Mi., 31. Mai 1995, 13:14:29 ";