Exterior residential house of the Dutch East Indies Gas Company