code in Python with raspberry and the GPIO Pins