Berlin in August?