Text this: Administrative data on German short-time work: essentials and potentials