docs: private void writeSummary(String summaryLocation, String propLocation) {
          logger.info("writing summary to " + summaryLocation);
          // choose properties that should be in summary here
          String[] properties = {
                  "graph.nodes",
                  "graph.edges",
                  "graph.import_time",
                  CH.PREPARE + "time",
                  CH.PREPARE + "node.shortcuts",
                  CH.PREPARE + "edge.shortcuts",
                  Landmark.PREPARE + "time",
                  "routing.distance_mean",
                  "routing.mean",
                  "routing.visited_nodes_mean",
                  "routingCH.distance_mean",
                  "routingCH.mean",
                  "routingCH.visited_nodes_mean",
                  "routingCH_no_instr.mean",
                  "routingCH_edge.distance_mean",
                  "routingCH_edge.mean",
                  "routingCH_edge.visited_nodes_mean",
                  "routingCH_edge_no_instr.mean",
                  "routingLM8.distance_mean",
                  "routingLM8.mean",
                  "routingLM8.visited_nodes_mean",
                  "measurement.seed",
                  "measurement.gitinfo",
                  "measurement.timestamp"
          };
          File f = new File(summaryLocation);
          boolean writeHeader = !f.exists();
          try (FileWriter writer = new FileWriter(f, true)) {
              if (writeHeader)
                  writer.write(getSummaryHeader(properties));
              writer.write(getSummaryLogLine(properties, propLocation));
          } catch (IOException e) {
              logger.error("Could not write summary to file '{}'", summaryLocation, e);
          }
      }