Textur der Schleusen gefixt: Transparenz bei GIFs scheint nicht mehr zu

funktionieren, verwende PNG.

pr/kr100/KR100.INC

@@ -99,9 +99,9 @@ difference {
 texture {
   pigment {
     image_map {
-      gif "manns.gif"
+      png "manns.png"
       interpolate 4 // 4=normalized distance
-      filter 5 1.0
+      // filter 5 1.0
       once
     }
     translate < -0.5, -0.5, 0 >
@@ -114,7 +114,7 @@ texture {
 texture {
   pigment {
     image_map {
-      gif "HB100.gif"
+      png "HB100.png"
       interpolate 4 //  4=normalized distance
       filter 5 1.0
       once
@@ -129,9 +129,9 @@ texture {
 texture {
   pigment {
     image_map {
-      gif "hg23_100.gif"
+      png "hg23_100.png"
       interpolate 4 // 4=normalized distance
-      filter 5 1.0
+      // filter 5 1.0
       once
     }
     translate < -0.5, -0.5, 0 >
@@ -144,7 +144,7 @@ texture {
 texture {
   pigment {
     image_map {
-      gif "hg4_100.gif"
+      png "hg4_100.png"
       interpolate 4 // 4=normalized distance
       filter 5 1.0
       once