Welche Maße hat die Wassersteckdose (Art. 8250)?