Looks like @dieterg hasn't received any replies!