Wie teuer ist es eine Gasanlage eintragen zu lassen?