Nachruf: Paul Allen (1953-2018)
