Als die Flora in Hamburg noch nicht rot war