<div dir="ltr">I think this bug report can be closed.<br clear="all"><div><br></div>-- <br>With best regards, Alexander
</div>