+ std::cout << "Elevator: " << number_ << " stopping in direction=" << direction_ << std::endl;
+
+ /* Always unpress the in-elevator button for this stop, as well
+ * as clear the stop. This is like letting people off at a floor. */
+ gui_unpress_request_button (number_, (int)position_);
+ stops_.remove (Stop(position_, ALL));
+
+