Hvězdárna a planetárium hl. m. Prahy (Prague, Czech Republic). Štefánikova hvězdárna