+++ title = "page.mi.fu-berlin.de/jhermann" date = "2022-03-22" updated = "2022-06-08" weight = 17697 [extra] source = "https://page.mi.fu-berlin.de/jhermann/" ratio = 100 size = 17 +++