Christian Wolf 10c6dd13f1 Removing of original html files		2023-10-27 22:58:54 +02:00
..
Brandstetter_LM2018_a.jpg	Put main content into git from web crawling	2023-10-27 22:52:24 +02:00
Brandstetter_LM2018.jpg	Put main content into git from web crawling	2023-10-27 22:52:24 +02:00
index.md	Put main content into git from web crawling	2023-10-27 22:52:24 +02:00
thumbnail.jpg	Put main content into git from web crawling	2023-10-27 22:52:24 +02:00