| | |
 
   
  Oktober 2023:
Austausch und Neubeschaffung eines Tintenstrahldruckers zur Markierung der Kabel in der Farbe „schwarz“ statt wie bisher in „dunkelblau“