Marvin, der manisch depressive Roboter