Looks like @harald hasn't received any replies!