The way in which the line breaks are done above looks a little bit funny from here, but I guess I can live with that :-)