Bodo Lauterjung ist gestorben