<div dir="ltr"><div class="gmail_extra">Fat-fingered one bit: I meant 13cm, not 23cm. Sorry.</div></div>