20180701 world.europe: Google honours famous German philosopher and mathematician Gottfried Wilhelm Leibniz with doodle