Re: [rwth-unix-admin] Batch-file unter Linux executen