Sorry.  Will reply shortly.  Real life interfered. 

–BA

On Sun, Jun 1, 2025 at 8:44 AM martin rudalics <rudalics@gmx.at> wrote:
> I think the question was for Boris.

Indeed.

martin