Michael Albinus <michael.albinus@gmx.de> writes:

Hi,

> Anyway, I kep it on my todo. Perhaps I find something useful to write
> next days.

What about the appended patch?

Best regards, Michael.