Flooding in Germany kills 80 people