
<!DOCTYPE html>

<html>

<head>

<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">

</head>

<body><div style="font-family: sans-serif;"><div class="markdown" style="white-space: normal;">

<p dir="auto">Since I haven't posted my <em>solution</em>:</p>

<p dir="auto">I just downloaded everything freshly from Google. Google has some rate limits kicking in, so it took a couple of days. But that was the cleanest solution.</p>

</div><div id="BCCB9C62-291B-4C55-8F82-B22CBC71FF1A">--<br/>Robert M. Münch

</div>

<div class="markdown" style="white-space: normal;">


</div>

</div>

</body>


</html>