gottfried wilhelm-leibniz-inventions