petra 31.17 reparieren