Wie wird Christi Himmelfahrt in der katholischen Kirche gefeiert?