In memoriam Anreas Krause (1978-2018)