Festlicher Gottesdienst im Aachener Dom