Looks like @joerg hasn't received any replies!