Cookies and ads

Local preferences remember your theme, language and privacy choices. They do not contain documents used in the tools.

Visit statistics are optional and disabled until you agree. Google Analytics may then use measurement cookies. Change this choice in Privacy.

Advertising placements use Google AdSense. Google's message collects the choices applicable to your visit; delivery depends on those choices and ad availability. Loading the advertising service involves technical communications with Google. Manage advertising choices in Privacy reopens the message.