@niels_k Jupp, ist anscheinend wieder teurer geworden. Ich hatte vorhin wohl Glück und hab’s für 3,49 erstanden …