18. Oktober 1842: Spatenstich auf dem Michelsberg