Es mag Overhead sein, die entsprechenden Units z.B. aus der JCL zu benutzen - aber warum guckst Du da nicht mal kurz in die entsprechende
Unit um rauszufinden, wie die den Namen rausfinden?
Ich habs auch mal gesucht und nach knapp 10 Minuten gefunden. Du bist da wahrscheinlich sogar schneller als ich, weil ich sie erst wieder runterladen müsste