Wie teuer ist eine Inspektion beim Mini?