Ramos mal für ~190k und Casillas für ~180k gekauft..verkaufen oder nicht?