String Theory on K 3 Surfaces