Vielleicht lasse ich den mini doch reparieren und verkaufe ihn dann. Der 2012er (i7, 2.6GHz) scheint ja noch begehrt zu sein. n/t