On Tue, Jul 31, 2012 at 5:28 PM, akaz
<akaz@utopia.com> wrote:
On Tuesday, 31 July 2012 at 13:22:57 UTC, Tobias Brandt wrote:
Phobos and Deimos are the two moons of Mars, which was the original name of D.
That, on the other hand, was known to me. What I did not know, was the "fear" factor... Maybe the library should have been renamed to Deimos? :)
By the way, I live in the same city as this guy here. So you may say that I live with Phobos over my head:
http://davinci-marsdesign.blogspot.fr/2012/05/scale-of-phobos.html
Pretty... scary, isn't?