Server.properties: Unterschied zwischen den Versionen