[Tobias Huber]

Aloha John,

Thank you very much for your response. I was unaware of the fact that I could toggle the system frequency between 50Hz and 60Hz – live and learn. Of course, that resolves all related issues.

Thanks again,
Tobias