PICA Production Number: Identnummer eines Titelsatzes in einem PICA Verbund- und Lokalsystem