docs: public static String getLibraryHeader(boolean verbose)
  	{
  		if (!verbose)
  			return calimero + " version " + version;
  		final StringBuffer buf = new StringBuffer();
  		buf.append(calimero).append(sep);
  		buf.append("version ").append(version).append(sep);
  		buf.append(tuwien).append(sep);
  		buf.append(group).append(sep);
  		buf.append(copyright);
  		return buf.toString();
  	}