Die JVM-Spezifikation