Gerhard Arlt gestorben.