Bugfix: vierstellige Zeilennummern im PDF