grep in verschachtelten formaten wohl wissend dass 17. Januar 2020 grep in verschachtelten formaten wohl wissend dass