Wie teuer war der Petersdom?