Danke für den Hinweis, ich kenne niemanden, der bei Ostermann arbeitet, es
hilft mir aber schon, zu wissen, daß man solche Kanten irgendwo bekommen kann.
Welche Stärke wäre (wegen der Radien) denn sinnvoll, kann ich da ruhig 1mm
nehmen oder sollten es 0,5mm sein?