class Kreis extends Figur
{
 // Attribute:
   double radius;
        
 // Operationen:   
   // Konstruktor. Erzeuge einen Kreis mit dem Radius r.
   Kreis(String n, int x, int y, double r)
   {
      name = n;
      bezugspunkt = new Punkt();
      bezugspunkt.x = x ;
      bezugspunkt.y = y;
      radius = r;
   }

   // Liefere den Radius des Kreises zurück.
   double getRadius()
   {
      return radius;
   } 

   // Setze den Radius des Kreises auf den Wert r.
   void setRadius(double r)
   {
      radius = r;
   }

   // Fläche des Kreises = PI * Radius * Radius.
   // PI ist im Package java.lang.Math enthalten.
   double flaeche()
   {
      return Math.PI * radius * radius;
   }

   // Umfang des Kreises = 2 * PI * Radius.
   double umfang()
   {
      return 2 * Math.PI * radius;
   }

   // Kreis textuell ausgeben  
   void ausgeben()
   {  
      super.ausgeben();
      System.out.println("Radius = " + radius);
   }

   public String toString()
   {
      return super.toString() + "Radius = " + radius;
   }

}