It's with sadness that I have just found out about the passing of Robert Hall. He made a great contribution to this forum and with a lot of knowledge and kindess as well. Rest in peace, Robert, and deepest sympathies to your loved ones. A great loss.