<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Thank you for both responses, Werner — most informative and much
appreciated.</p>
<p>-- <br>
<i>Philip Taylor</i><br>
</p>
</body>
</html>