Wie hoch verliert Deutschland gegen Costa Rica ?