$ 0 0 Unfortunately, this does not yield a line numbering as I would like to have it. Do you have any idea how to achieve that?