<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Mon, Nov 16, 2015 at 1:07 AM Jan de Kruyf <<a href="mailto:jan.de.kruyf@gmail.com">jan.de.kruyf@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>And since he is about 80 now and since he still got a few irons in the fire this was left for a bit.</div></div></blockquote><div><br></div><div>Some things will always be left as an exercise for the reader. ;) </div></div></div>