U inaugurace kterých našich dvou prezidentů (do období Sametové revoluce) byla součástí také bohoslužba?