Looks like @rotfuchs hasn't received any replies!